Multi-Agent Planning in CLP
نویسندگان
چکیده
This paper explores the use of Constraint Logic Programming (CLP) as a platform for experimenting with planning problems in presence of multiple interacting agents. The paper develops a novel constraint-based action language, B, that enables the declarative description of large classes of multi-agent and multi-valued domains. B supports several complex features, including combined effects, concurrency control, interacting actions, and delayed effects. The paper presents a mapping of B theories to CLP and it demonstrates the effectiveness of an implementation in SICStus Prolog on several benchmark problems.
منابع مشابه
An Investigation of Multi-Agent Planning in CLP
This paper explores the use of Constraint Logic Programming (CLP) as a platform for experimenting with planning problems in the presence of multiple interacting agents. The paper develops a novel constraintbased action language, BMAP, that enables the declarative description of large classes of multi-agent and multi-valued domains. BMAP supports several complex features, including combined effe...
متن کاملAutonomous Agents Coordination: Action Description Languages Meet CLP(FD) and Linda
The paper presents a knowledge representation formalism for multi-agent systems, where different autonomous agents reason and act in a shared environment. Agents are autonomously pursuing individual goals, but are capable of interacting through a shared knowledge repository and collaborative actions. In their interaction through shared portions of the world, agents deal with problems of synchro...
متن کاملMulti-Agent Systems: Modeling and Verification Using Hybrid Automata
Hybrid automata are used as standard means for the specification and analysis of dynamical systems. Several researches have approached them to formally specify reactive Multi-agent systems situated in a physical environment, where the agents react continuously to their environment. The specified systems, in turn, are formally checked with the help of existing hybrid automata verification tools....
متن کاملCoordinating Distributed CLP-Solvers in Medical Appointment Scheduling
Research on monolithic logic-based systems has usually left out an important aspect of information technology systems supporting medical processes — distribution. Often social restrictions build up by questions of authority prohibit the implementation of global systems with omniscient view. Hence, IT in medical domains has to obey these restrictions by being distributed as well. The direct cons...
متن کاملAutomatic Generation of a Multi Agent System for Crisis Management by a Model Driven Approach
Considering the increasing occurrences of unexpected events and the need for pre-crisis planning in order to reduce risks and losses, modeling instant response environments is needed more than ever. Modeling may lead to more careful planning for crisis-response operations, such as team formation, task assignment, and doing the task by teams. A common challenge in this way is that the model shou...
متن کامل